$M$.dout($l$,${\it tg}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of($M$))(rcv($l$,${\it tg}$))?Void